<? include('includes/html/head.php'); ?>
  <title>Menú principal</title>
</head>


<body>
  <h1>Asignatura de Sistemas Informáticos</h1>
  <ul id="principal">
    <li>Prácticas de HTML
      <ol id="pract_HTML">
        <li><a href="curriculum.php" title="Ir a mi curriculum">Práctica nº 5</a> (curriculum)</li>
        <li><a href="tablas.php" title="Ir a la práctica de tablas">Práctica nº 6</a> (tablas)</li>
        <li><a href="formularios.php" title="Ir a la práctica de formularios">Práctica nº 7</a> (formularios)</li>
        <li><a href="pw2.php" title="Ir a la práctica de iniciación de CSS">Práctica nº 8</a> (iniciando <em>css</em>)</li>
        <!--<li><a href="index.php" title="Ir a la práctica de ">Práctica nº 9</a> ()</li>-->
      </ol>
    </li>
    <li>Prácticas de Internet</li>	
    <li>Prácticas de GNU/Linux
      <ol id="pract_linux">
        <li><a href="practicas-linux.php?num=15" title="Práctica de GNU/Linux, número 15">Práctica nº&nbsp;15</a>
		<span class="small">- Primeros pasos.</span></li>
        <li><a href="practicas-linux.php?num=16" title="Práctica de GNU/Linux, número 16">Práctica nº&nbsp;16</a>
		<span class="small">- Comandos sobre ficheros y directorios.</span></li>
        <li><a href="practicas-linux.php?num=17" title="Práctica de GNU/Linux, número 17">Práctica nº&nbsp;17</a>
		<span class="small">- Redirecciones, Tuberías.</span></li>
        <li><a href="practicas-linux.php?num=18" title="Práctica de GNU/Linux, número 18">Práctica nº&nbsp;18</a>
		<span class="small">- Especificaciones de permisos.</span></li>
        <li><a href="practicas-linux.php?num=19" title="Práctica de GNU/Linux, número 19">Práctica nº&nbsp;19</a>
		<span class="small">- Expresiones regulares. El comando <span class="cursiva">grep</span>.</span></li>
        <li><a href="practicas-linux.php?num=20" title="Práctica de GNU/Linux, número 20">Práctica nº&nbsp;20</a>
		<span class="small">- Expresiones regulares. El comando <span class="cursiva">sed</span>.</span></li>
        <li><a href="practicas-linux.php?num=21" title="Práctica de GNU/Linux, número 21">Práctica nº&nbsp;21</a>
		<span class="small">- Control de procesos.</span></li>
      </ol>
    </li>
    <li>Prácticas de la asignatura
      <ul id="pract_asignatura">
        <li><a href="linux">Entrada al trabajo de GNU/Linux</a></li>
      </ul>
    </li>
  </ul>


<div id="pie"><!--onmouseover="alert('Esta es la sección de datos inútiles,\nconseguidos con PHP.');"-->             
  <div class="pie_int_1">
    <div class="pie_int_2">

  <? include('includes/html/validador.php'); ?>

  <p id="espacio_disco">Al disco duro del servidor le quedan <?
        echo number_format(disk_free_space('/home')/1048576, "0", ",", ".");
        echo ' MB de '; echo number_format(disk_total_space('/home')/1073741824, "2", ",", ".");
      ?> GB totales de capacidad (está usado un <?
        echo number_format(100-disk_free_space('/home')/disk_total_space('/home')*100, "2", ",", "."); 
      ?>&#32;%).</p>
  
  <p id="direccion_IP">Tu <a href="http://es.wikipedia.org/wiki/Dirección_IP" title="''Dirección IP'' en Wikipedia">dirección IP</a>
      es <span class='negrita'><?
            echo getenv("REMOTE_ADDR")."</span>, y tu navegador es <span class='negrita'>";
            include('includes/navegador.php');
            ?></span>.</p>
  
  <p id="fecha"><?
      // Obtenemos y traducimos el nombre del día
      $dia=date("l");
      if ($dia=="Monday") $dia="lunes";
      if ($dia=="Tuesday") $dia="martes";
      if ($dia=="Wednesday") $dia="miércoles";
      if ($dia=="Thursday") $dia="jueves";
      if ($dia=="Friday") $dia="viernes";
      if ($dia=="Saturday") $dia="sábado";
      if ($dia=="Sunday") $dia="domingo";
      
      // Obtenemos el número del día
      $dia2=date("j");
      
      // Obtenemos y traducimos el nombre del mes
      $mes=date("F");
      if ($mes=="January") $mes="enero";
      if ($mes=="February") $mes="febrero";
      if ($mes=="March") $mes="marzo";
      if ($mes=="April") $mes="abril";
      if ($mes=="May") $mes="mayo";
      if ($mes=="June") $mes="junio";
      if ($mes=="July") $mes="julio";
      if ($mes=="August") $mes="agosto";
      if ($mes=="September") $mes="setiembre";
      if ($mes=="October") $mes="octubre";
      if ($mes=="November") $mes="noviembre";
      if ($mes=="December") $mes="diciembre";

      // Obtenemos el año
      $ano=date("Y");
      
      // Imprimimos la fecha completa
      echo "Hoy es $dia".", día <span class='negrita'>$dia2 de $mes de $ano</span>.";
    ?> Quedan <?
      $diasfaltan=365-date('z');
      $porcentajefaltan=$diasfaltan*100/365;
      $porcentajefaltan_ok=number_format($porcentajefaltan, 2, ",", ".");
      echo "$diasfaltan días para que acabe el año, lo que equivale a un $porcentajefaltan_ok"."&#32;% del año.";
    ?></p>
  <p id="naci_hace" title="Adivina cuándo exactamente.">Nací hace <?
      $tiempo_unix_cuando_naci=-567648000+1241887689;
      $segundos_desde_que_naci=date('U')-$tiempo_unix_cuando_naci;
      $segundos_desde_que_naci_ok=number_format($segundos_desde_que_naci, "0", ",", " ");
      $horas_desde_que_naci_ok=number_format($segundos_desde_que_naci/3600, "2", ",", ".");
      echo '<span class="negrita">'.$segundos_desde_que_naci_ok.' segundos</span>, que es lo mismo que '.$horas_desde_que_naci_ok.' horas.';
  ?></p>
  <p id="hora"><?
      $ampm=date("A");  // cambiamos la notación inglesa por la española
      if ($ampm=="AM") $ampm="de la mañana";
      if ($ampm=="PM") $ampm="de la tarde";
  
      echo "<span title='".date('H:i \(O\)')."'>Son las <span class='negrita'>".date('g')." y ".number_format(date('i'))." minutos ".$ampm."</span>.</span>";
  ?></p>
  <p id="contador_de_visitas">Número de visitas hasta la fecha <span class="letras_separadas"> .............................. </span>
  <?php
    $destino = "cont/index.dat";
    $abrir = fopen($destino,"r");
    $cuenta = trim(fread($abrir,filesize($destino)));
    
  
    if ($cuenta != "") $cuenta++;
    else $cuenta = 1;
    @fclose($abrir);
    $abrir = fopen($destino,"w");
    @fputs($abrir,$cuenta);
  
  
  
    for($i=0;$i<strlen($cuenta);$i++) {
      $imagen = substr($cuenta,$i,1);
      $contador .= "<img alt='Número $imagen.' src='cont/img/$imagen.gif'>";
    }
    @fclose($abrir);
    print $contador;
  ?>
  </p>
  
  <p id="nota" class="cursiva">Nota: Los datos se actualizan al instante, prueba a actualizar la página.<br><span class="grande negrita"><a href="img/index.php.png">Así</a> deberías ver esta página con tu navegador.</span></p>


       </div>
   </div>
</div>



<? include('includes/html/google-analytics.php'); ?>

</body>
</html>
